class Main inherits IO {
    main() : SELF_TYPE {
        {
          out_string("Hello world\n");
          self;
        }
    };
}; 
